| Name | Version | Summary | date |
|---|---|---|---|
| wkrq | 1.1.2 | A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification | 2025-08-01 22:48:28 |
| TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
| hour | day | week | total |
|---|---|---|---|
| 49 | 1392 | 10525 | 305952 |